extern void gdt_init();
extern void interrupt_init();
extern void clock_init();
extern void time_init();
extern void rtc_init();

void kernel_init(void *ards_ptr)
{
    gdt_init();
    interrupt_init();
    clock_init();
    time_init();
    rtc_init();
    asm volatile("sti\n");
}
